Decentralized Composite Access Control
نویسندگان
چکیده
Formal foundations for access control policies with both authority delegation and policy composition operators are partial and limited. Correctness guarantees cannot therefore be formally stated and verified for decentralized composite access control systems, such as those based on XACML 3. To address this problem we develop a formal policy language BelLog that can express both delegation and composition operators. We illustrate, through examples, how BelLog can be used to specify practical policies. Moreover, we present an analysis framework for reasoning aboutBelLog policies and we give decidability and complexity results for policy entailment and policy containment in BelLog.
منابع مشابه
Decentralized H∞ Control and Reliability Analysis for Symmetric Composite Systems: Dynamic Output Feedback Case
The dynamic output feedback decentralized H∞ control and the reliability of the designed system (the maximal number of control-channel outages when the performance is still acceptable) is studied for symmetric composite systems. It is shown that the decentralized H∞ control problem can be simplified to a simultaneous H∞ control problem for two modified subsystems. A design method based on the s...
متن کاملDecentralized Kinematic Control of Payload Transport by a System of Mobile Manipulators
In this paper, we examine creation of a decentralized kinematic control scheme for a composite system of two (or more) wheeled mobile manipulators that can team up to cooperatively transport a common payload. Each mobile manipulator module consists of a differentially-driven wheeled mobile robot (WMR) with a mounted planar two-degree-offreedom (d.o.f) manipulator. A composite multi-degree-offre...
متن کاملDecentralized H_infty Quantizers Design for Networked Complex Composite Systems
The objective of the paper is to propose an approach to decentralized networked quantized state feedback H∞ controller design for a class of complex symmetric composite continuous-time systems. The effect of data-packet dropouts and communication delays between the plant and the local controller as well as quantizers design are included in the design of asymptotically stabilizing controller and...
متن کاملDecentralized Robust Control for Uncertain Nonlinear Descriptor Large-scale Composite Systems with Input Saturation
This paper investigated the problem of decentralized robust stabilization for a class of uncertain nonlinear descriptor similar large-scale composite systems with input saturation. Based on decomposing theory of large-scale systems, Lyapunov stable theory and matrix theory, a kind of decentralized robust stabilization controller is designed which ensures asymptotic stability of the closed-loop ...
متن کاملSurvey Paper on User Anonymous Authentication Scheme for Decentralized Access Control in Clouds
The idea is to propose a new decentralized access control scheme for achieving security in data stored in clouds that supports anonymous authentication. In the proposed scheme, the cloud verifies the authenticity of the series without knowing the user’s identity before storing data in cloud. Here we also have added feature of access control so that only valid users are able to decrypt the data ...
متن کامل